# Copyright 2023-2024 NXP

SDCARDIMAGE_BOOT_EXTRA_FILES:append = " linux-s32:kernel.itb"
